Intertwining metaphysics and mathematics: the development of Georg Cantor’s set theory 1871-1887
نویسنده
چکیده
This article discusses Georg Cantor’s philosophical defence of the existence of actual infinities in mathematics. The metaphysical background to Cantor’s argument is documented, emphasizing the philosophical references in Cantor’s main work, Grundlagen (1883). Cantor’s engagement with the history of philosophy, particularly the writings of Spinoza and Leibniz on infinity, is also documented. Finally, relevant portions of Cantor’s correspondence and portions of his Nachlass are also used as evidence to document the development of Cantor’s philosophy.
منابع مشابه
The Banach-Tarski Paradox
What is a set? In the late 19th century, Georg Cantor was the first to formally investigate this question, thus founding the study of set theory as a mathematical discipline. Cantor’s definition of a set consisted of two intuitive principles. The first, Extensionality, asserts that two sets are equal exactly when they have the same members; the second, Comprehension, asserts that from any condi...
متن کاملCantor’s Little Theorem
This article discusses two theorems of Georg Cantor: Cantor’s Little Theorem and Cantor’s Diagonal Theorem.These results are obtained by generalizing the method of proof ofthe well known Cantor’s theorem about the cardinalities of a setand its power set. As an application of these, Gödel’s firstincompleteness theorem is proved. Hints are given as to how to derive other deeper results including ...
متن کاملInner models and large cardinals
§0. The ordinal numbers were Georg Cantor’s deepest contribution to mathematics. After the natural numbers 0, 1, . . . , n, . . . comes the first infinite ordinal number ù, followed by ù + 1, ù + 2, . . . , ù + ù, . . . and so forth. ù is the first limit ordinal as it is neither 0 nor a successor ordinal. We follow the von Neumann convention, according to which each ordinal number α is identifi...
متن کاملHilbert ’ s Paradox ∗
In diesem Aufsatz wird erstmals die Hilbertsche Antinomie vollständig publiziert. David Hilbert hat sie während seiner Auseinandersetzungen mit der Cantorschen Mengenlehre gefunden. Seinen Angaben zufolge wurde Ernst Zermelo durch sie zu seiner Version der ZermeloRussellschen Antinomie angeregt. Es handelt sich um die Antinomie der Menge aller durch Addition (Vereinigung) und Selbstbelegung erz...
متن کاملAn Historical Account of Set-theoretic Antinomies Caused by the Axiom of Abstraction
The beginnings of set theory date back to the late nineteenth century, to the work of Cantor on aggregates and trigonometric series, which culminated into his seminal work Contributions to the Founding of the Theory of Transfinite Numbers [2]. Although this work was published in 1895 and 1897, in two parts, the theory of sets had been established as an independent branch of mathematics as early...
متن کامل